(>=>) :: (a -> Writer b) -> (b -> Writer c) -> (a -> Writer c)